| 1. Identificação | |||||||
| Tipo de Referência | Tese ou Dissertação (Thesis) | ||||||
| Site | mtc-m21c.sid.inpe.br | ||||||
| Código do Detentor | isadg {BR SPINPE} ibi 8JMKD3MGPCW/3DT298S | ||||||
| Identificador | 8JMKD3MGP3W34R/42L2BFE | ||||||
| Repositório | sid.inpe.br/mtc-m21c/2020/06.08.20.44 | ||||||
| Última Atualização | 2021:01.19.14.20.52 (UTC) simone | ||||||
| Repositório de Metadados | sid.inpe.br/mtc-m21c/2020/06.08.20.44.11 | ||||||
| Última Atualização dos Metadados | 2022:04.03.23.15.36 (UTC) administrator | ||||||
| Chave Secundária | INPE-18337-TDI/3009 | ||||||
| Chave de Citação | RohdeEras:2021:MéGeAu | ||||||
| Título | Singularity: um método para geração automática de casos de teste unitários baseado em contraexemplos de verificador de modelos para aplicações em C++  | ||||||
| Título Alternativo | Singularity: a method for automatic generation of unit test cases based on model checker counterexamples of C++ applications | ||||||
| Curso | CAP-COMP-DIPGR-INPE-MCTI-GOV-BR | ||||||
| Ano | 2021 | ||||||
| Data | 2020-05-26 | ||||||
| Data de Acesso | 27 abr. 2024 | ||||||
| Tipo da Tese | Dissertação (Mestrado em Computação Aplicada) | ||||||
| Tipo Secundário | TDI | ||||||
| Número de Páginas | 97 | ||||||
| Número de Arquivos | 1 | ||||||
| Tamanho | 2568 KiB | ||||||
| 2. Contextualização | |||||||
| Autor | Rohde Eras, Eduardo | ||||||
| Banca | Andrade Neto, Pedro Ribeiro de (presidente) Santiago Júnior, Valdivino Alexandre de (orientador) Mattiello-Francisco, Maria de Fátima Ferrari, Fabiano Cutigi | ||||||
| Endereço de e-Mail | eduardorohdeeras@gmail.com | ||||||
| Universidade | Instituto Nacional de Pesquisas Espaciais (INPE) | ||||||
| Cidade | São José dos Campos | ||||||
| Histórico (UTC) | 2020-06-08 20:44:11 :: eduardorohdeeras@gmail.com -> pubtc@inpe.br :: 2020-06-15 21:20:59 :: pubtc@inpe.br -> eduardorohdeeras@gmail.com :: 2020-07-15 22:50:09 :: eduardorohdeeras@gmail.com -> pubtc@inpe.br :: 2020-07-16 11:40:51 :: pubtc@inpe.br -> eduardorohdeeras@gmail.com :: 2020-07-18 00:06:09 :: eduardorohdeeras@gmail.com -> pubtc@inpe.br :: 2021-01-20 11:51:30 :: pubtc@inpe.br -> simone :: 2021-01-20 11:52:39 :: simone :: -> 2021 2021-01-20 12:24:49 :: simone -> administrator :: 2021 2022-04-03 23:15:36 :: administrator -> pubtc :: 2021 | ||||||
| 3. Conteúdo e estrutura | |||||||
| É a matriz ou uma cópia? | é a matriz | ||||||
| Estágio do Conteúdo | concluido | ||||||
| Transferível | 1 | ||||||
| Palavras-Chave | casos de teste de software teste unitário verificador de modelo automatização de teste aplicações em C++ software testing cases unit testing model checking test automation C++ applications | ||||||
| Resumo | Uma das tarefas mais desafiadoras na atividade de teste de software é a geração de casos/dados de teste. Embora haja uma quantidade significativa de estudos nesse sentido, ainda é necessário avançar em direção a abordagens que possam gerar casos/dados de teste com base apenas no código-fonte, considerando que muitos sistemas possuem apenas o código-fonte, sem a existência de uma documentação adequada. Esta Dissertação de Mestrado apresenta um novo método, denominado Singularity, para a geração de casos de teste unitários a partir de código-fonte em C++ e utilizando verificação de modelos, sendo este um método de Verificação Formal. Na presente abordagem, que é apoiada por uma ferramenta, o código-fonte C++ é traduzido automaticamente para modelos intermediários (Máquina de Estados Finitos, Grafo de Fluxo de Controle) e depois para a notação do Verificador de Modelos NuSMV. Posteriormente, uma técnica baseada no método HiMoST e em propriedades reconhecidas na literatura como "armadilha" produzem contraexemplos do verificador de modelos que são, de fato, os casos de teste abstratos em si. O método Singularity foi aplicado a um conjunto de códigos em C++ extraído de duas ferramentas complexas de sensoriamento remoto desenvolvidas no Instituto Nacional de Pesquisas Espaciais (INPE). Os resultados demonstraram a viabilidade do método para a geração de casos de teste. ABSTRACT: One of the most challenging tasks in software testing activity is the generation of test cases/data. Although there is a significant amount of studies in this direction, it is still necessary to move towards approaches that can generate test cases/data based only on the source code, since many systems have only the source code, without necessarily the existence of adequate documentation. This Master Dissertation presents a new method, called Singularity, for the generation of unit test cases/data from C++ source codes using Model Checking, a Formal Verification method. In the present approach, which is supported by a tool, the C++ source code is automatically translated into intermediate models (Finite State Machine, Control Flow Graph) and then into the NuSMV model checker notation. Subsequently, a technique based on the HiMoST method and the called "trap properties" produces counterexamples of the model checker which are, in fact, the test cases/data itself. The Singularity method was applied to a set of C++ codes extracted from two complex remote sensing tools developed at the National Institute for Space Research (INPE). The results demonstrated the viability of the method for generating test cases/data. | ||||||
| Área | COMP | ||||||
| Arranjo 1 | urlib.net > BDMCI > Fonds > Produção pgr ATUAIS > CAP > Singularity: um método... | ||||||
| Arranjo 2 | urlib.net > BDMCI > Fonds > Produção a partir de 2021 > CGIP > Singularity: um método... | ||||||
| Conteúdo da Pasta doc | acessar | ||||||
| Conteúdo da Pasta source |
| ||||||
| Conteúdo da Pasta agreement |
| ||||||
| 4. Condições de acesso e uso | |||||||
| URL dos dados | http://urlib.net/ibi/8JMKD3MGP3W34R/42L2BFE | ||||||
| URL dos dados zipados | http://urlib.net/zip/8JMKD3MGP3W34R/42L2BFE | ||||||
| Idioma | pt | ||||||
| Arquivo Alvo | publicacao_FA provisoria.pdf | ||||||
| Grupo de Usuários | eduardorohdeeras@gmail.com pubtc@inpe.br simone | ||||||
| Visibilidade | shown | ||||||
| Licença de Direitos Autorais | urlib.net/www/2012/11.12.15.10 | ||||||
| Detentor dos Direitos | originalauthor yes | ||||||
| Permissão de Leitura | allow from all | ||||||
| Permissão de Atualização | não transferida | ||||||
| 5. Fontes relacionadas | |||||||
| Repositório Espelho | urlib.net/www/2017/11.22.19.04.03 | ||||||
| Unidades Imediatamente Superiores | 8JMKD3MGPCW/3F2PHGS 8JMKD3MGPCW/46KUES5 | ||||||
| Acervo Hospedeiro | urlib.net/www/2017/11.22.19.04 | ||||||
| 6. Notas | |||||||
| Campos Vazios | academicdepartment affiliation archivingpolicy archivist callnumber contenttype copyholder creatorhistory descriptionlevel dissemination doi electronicmailaddress format group isbn issn label lineage mark nextedition notes number orcid parameterlist parentrepositories previousedition previouslowerunit progress readergroup resumeid schedulinginformation secondarydate secondarymark session shorttitle sponsor subject tertiarymark tertiarytype url versiontype | ||||||
| 7. Controle da descrição | |||||||
| e-Mail (login) | pubtc | ||||||
| atualizar | |||||||